About Folding-Unfolding Cuts and Cuts Modulo
نویسنده
چکیده
منابع مشابه
Regaining cut admissibility in deduction modulo using abstract completion
Deduction modulo is a way to combine computation and deduction in proofs, by applying the inference rules of a deductive system (e.g. natural deduction or sequent calculus) modulo some congruence that we assume here to be presented by a set of rewrite rules. Using deduction modulo is equivalent to proving in a theory corresponding to the rewrite rules, and leads to proofs that are often shorter...
متن کاملGeofold: topology-based protein unfolding pathways capture the effects of engineered disulfides on kinetic stability.
Protein unfolding is modeled as an ensemble of pathways, where each step in each pathway is the addition of one topologically possible conformational degree of freedom. Starting with a known protein structure, GeoFold hierarchically partitions (cuts) the native structure into substructures using revolute joints and translations. The energy of each cut and its activation barrier are calculated u...
متن کاملImpacts of Import Tariff Cuts on the Iranian Labor Market Structure: a Computable General Equilibrium Model Approach
Most debates about the role of tariff cuts on the level of employment and rate of wages in labor market have come out of well-known Hecscher â Ohlin and Stopler â Samuelson (HOS) theorems. Considering the fact that we have divided the workforce into skilled and unskilled labors the present paper assesses the impacts of tariff cuts on labor market indicators in Iran. To address these issues...
متن کاملShort-Cuts on Star, Source and Planar Unfoldings
When studying a 3D polyhedron, it is often easier to cut it open and atten in on the plane. There are several ways to perform this unfolding. Standard unfoldings which have been used in literature include Star Unfoldings, Source Unfoldings, and Planar Unfoldings, each di ering only in the cuts that are made. Note that every unfolding has the property that a straight line between two points on t...
متن کاملPolyhedra Fabrication through Mesh Convexification: a Study of Foldability of Nearly Convex Shapes
A polyhedron can be unfolded to a net, i.e., an unfolding without overlapping, by carefully cutting along the surface. If the cuts are restricted only on the edges of the polyhedron, where should the cuts be? This is called an edge-unfolding problem, which has been extensively studied in the literature for centuries. Although several promising properties have been discovered, several recent pre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 11 شماره
صفحات -
تاریخ انتشار 2001